COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	patter[w87,jmc]		Pattern matching
C00003 ENDMK
C⊗;
patter[w87,jmc]		Pattern matching

Epistemology of pattern matching

	Pattern matching can be quite hard, so before discussing how
to recognize patterns we should consider just what proofs look like
that a pattern has been recognized.  Do the ordered-by-inclusion
example. 

	∀x y.x ε set(p) ∧ y ε set(p) ⊃ (x ⊂ y) ∨ (y ⊂ x)